Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda en la clasificación temática MSC 2000: 03-02 (03D35 03F35 03F40 03B25)
Mostrando 5 resultados encontrados.
 
03 Mathematical logic and foundations
  03-02 Research exposition (monographs, survey articles)
  03B General logic
    03B25 Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10]
  03D Computability and recursion theory
    03D35 Undecidability and degrees of sets of sentences
  03F Proof theory and constructive mathematics
    03F35 Second- and higher-order arithmetic and fragments [See also 03B30]
    03F40 Gödel numberings in proof theory
 

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos